functional operators造句

In boolean logic, "'logical nor "'or "'joint denial "'is a truth-functional operator which produces a result that is the negation of coordinating conjunction.
In computer algebra, an "'Ore algebra "'is a special kind of iterated Ore extension that can be used to represent linear functional operators, including linear differential and / or recurrence operators.
Let a first-order language be given, with C the set of constant symbols, V the set of ( individual ) variables, F the set of functional operators, and P the set of predicate symbols.
It is not surprising that a rigorously defined truth-functional operator does not correspond exactly to all notions of implication or otherwise expressed by'if . . . then . . .'sentences in English ( or their equivalents in other natural languages ).
It's difficult to find functional operators in a sentence. 用functional operators造句挺难的